Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
301	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
302	Integrating Prose as First-Class Citizens with Models and Code Markus Voelter independent/itemis, Abstract. In programming and modeling we strive to express structures and behaviors as formally as possibl Add to Reading List Source URL: voelter.de Language: English - Date: 2015-08-19 04:33:52 Software engineering Computing Computer programming HTML Technical communication Cross-platform software Source code Markup languages JetBrains MPS Comment Literate programming Integrated development environment
303	HP Prime Graphing Calculator The Tutorial Series This is the second issue of a series of tutorials for the HP Prime, written by Edward Shore. In this session, we will cover MSGBOX, IF-THEN-ELSE, PRINT, and the FOR Add to Reading List Source URL: hp-prime.de Language: English - Date: 2014-05-16 06:30:28 Software engineering Computer programming Computing Scripting languages Programming languages Programmable calculators Len Infinite loop BASIC COMMAND.COM Graphing calculator
304	MXwendler Javascript Interface Description Version 2.3 This document describes the MXWendler (MXW) Javascript Command Interface. You will learn how to control MXwendler through the Javascript interface. We will describe Add to Reading List Source URL: www.mxwendler.net Language: English - Date: 2013-10-10 07:58:03 Software engineering Computer programming Computing Subroutines Cross-platform software Scripting languages JavaScript Web programming Return statement JavaScript syntax
305	CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type intintint, whe Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-11 23:17:39 Software engineering Programming language theory Computer programming Procedural programming languages Functional languages C ALGOL 68 INT ML Ordinal date Struct Higher-order function
306	Creative Uses of Functions Steven A. Wright Quintiles, Inc. A comprehensive knowledge of the appropriate SAS® functions can often make the difference between a difficult and a fun programming task. My goal is to Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Software engineering Computing Computer programming Data types Subroutines Procedural programming languages 4GL Data warehousing SAS Comparison of programming languages C++ classes Variable
307	The State of the OCaml Platform: September 2016 Louis Gesbert∗(speaker) on behalf of the OCaml Platform team The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentatio Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-04 08:31:13 Software Computer programming Functional languages OCaml Package manager Arch Linux Deb Go Caml R Coq
308	The Pivot a sourcetosource framework for more elegant and efficient code Peter Pirkelbauer, Texas A&M University Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:33:19 Software engineering Computer programming Programming language theory C++ Object-oriented programming languages Cross-platform software Procedural programming languages Const Template D Concepts ALGOL 68
309	Browser: Simple HTML Rendering VersionApril 2, 2010 The browser library provides the following procedures and classes for parsing and viewing Add to Reading List Source URL: download.plt-scheme.org Language: English - Date: 2010-04-02 17:31:05 Computing Software engineering Computer programming Object-oriented programming languages HTML Cross-platform software Uniform Resource Locator World Wide Web Hypertext HTML element URL redirection D

UPDATE